Implication Details

Assumptions: self-dual, strict terminal object

Conclusions: strict initial object

Proof: This holds by self-duality.